* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add two functions.

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 7d444af8d9f4b45c89187f496fcbe5acf2d61ff3..caea81fccca48e6a6ecf38d5005e3b84734cf034 100644 (file)
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -264,7 +264,10 @@ Useful to hook into pass checkers.")
     (zerop (function (number) boolean))
     ;; Type hints
     (comp-hint-fixnum (function (t) fixnum))
-    (comp-hint-cons (function (t) cons)))
+    (comp-hint-cons (function (t) cons))
+    ;; Non returning functions
+    (error (function (string &rest t) nil))
+    (signal (function (symbol t) nil)))
   "Alist used for type propagation.")
 
 (defconst comp-known-func-cstr-h